Une mémoire à distances

Mémoire d ' Habilitation à Diriger les Recherches

Security is a very old concern, which until quite recently was mostly of interest for military purposes. The deployment of electronic commerce changes this drastically. The security of exchanges is ensured by cryptographic protocols which are notoriously error prone. The formal veri cation of cryptographic protocols is a di cult problem that can be seen as a particular model-checking problem in...

Mémoire d'habilitation à diriger des recherches

Isabelle " Guerin-Lassous" Professeur à lʼUniversité de Lyon" Rapporteur Francis " Lepage " Professeur à lʼUniversité H. Poincare " Rapporteur Flavio " Oquendo" Professeur à lʼUniversité de Bretagne Sud" Rapporteur Laurence " Duchien" Professeur à lʼUniversité de Lille " Examinateur Christophe " Chassot" Professeur à lʼUniversité de Toulouse" Examinateur Khalil " Drira" Directeur de recherche a...

Contribution à la visualisation des connaissances par des graphes dans une mémoire d'entreprise : application sur le serveur Atanor

Représentation des connaissances dans une mémoire de projet

RÉSUMÉ. Une mémoire de projet est une représentation de l’expérience acquise pendant la réalisation de projets (Dieng et al., 1998). Elle peut être obtenue à travers une capitalisation au fil de l’eau de l’activité de l’entreprise, notamment de la logique de conception (design rationale). La plupart des méthodes définies à ce propos ne permettent pas une structuration en temps réel de la logiqu...

Une introduction à Prolog III

The Prolog III programming language extends Prolog by redefining the fundamental process at its heart : unification. Into this mechanism, Prolog III integrates refined processing of trees and lists, number processing, and processing of two-valued Boolean algebra. We present the specification of this new language and illustrate its capabilities by means of varied examples. We also present the th...